
oldpwd=`pwd`
destpath=../../UT\ World/galaxytool/

echo "generating galaxyplugin.jar..."
cd ./chrome
/bin/rm -f galaxyplugin.jar
zip -r galaxyplugin.jar content/* locale/* skin/* -x *svn* *.db
echo "finish galaxyplugin.jar."
cd ..

echo "generating galaxyplugin.xpi..."
/bin/mv -f ../galaxyplugin.xpi ../galaxyplugin.xpi.p
zip -r ../galaxyplugin.xpi . -x *svn* *.db gengtp.sh
echo "finish galaxyplugin.xpi."

echo "copy galaxyplugin.xpi to webserver docroot..."
/bin/cp -f ../galaxyplugin.xpi ../../UT\ World/galaxytool/
echo "finish copy."

